منابع مشابه
Modeling of the Outpatient Prescribing Process in Iran: A Gateway toward Electronic Prescribing System
Implementation of electronic prescribing system can overcome many problems of the paper prescribing system, and provide numerous opportunities of more effective and advantageous prescribing. Successful implementation of such a system requires complete and deep understanding of work content, human force, and workflow of paper prescribing. The current study was designed in order to model the curr...
متن کاملA Logical Process Calculus
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...
متن کاملModeling of the Outpatient Prescribing Process in Iran: A Gateway toward Electronic Prescribing System
Implementation of electronic prescribing system can overcome many problems of the paper prescribing system, and provide numerous opportunities of more effective and advantageous prescribing. Successful implementation of such a system requires complete and deep understanding of work content, human force, and workflow of paper prescribing. The current study was designed in order to model the curr...
متن کاملmodeling of the outpatient prescribing process in iran: a gateway toward electronic prescribing system
implementation of electronic prescribing system can overcome many problems of the paper prescribing system, and provide numerous opportunities of more effective and advantageous prescribing. successful implementation of such a system requires complete and deep understanding of work content, human force, and workflow of paper prescribing. the current study was designed in order to model the curr...
متن کاملA Logical Viewpoint on Process-Algebraic Quotients
Antonín Kučera?1 and Javier Esparza??2 1 Faculty of Informatics, Masaryk University, Botanická 68a, 60200 Brno, Czech Republic, [email protected] 2 Institut für Informatik, Technische Universität München, Arcisstr. 21, D-80290 München, Germany, [email protected] Abstract. We study the following problem: Given a transition system T and its quotient T= under an equivalence , which are the sets L, L...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Canadian Medical Association Journal
سال: 2012
ISSN: 0820-3946,1488-2329
DOI: 10.1503/cmaj.109-4356